• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文OA文献 >Replicated Computations Results (RCR) Report for “Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language”
【2h】

Replicated Computations Results (RCR) Report for “Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language”

机译：针对“富有表现力的多级建模语言的语义和高效仿真算法”的复制计算结果（RCR）报告

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

“Semantics and Efficient Simulation Algorithms on an Expressive Multi-Level Modeling Language,” by Helms et al. presents new work on the domain-specific modelling and simulation language ML-Rules [Maus et al. 2011]. For the first time, the language is given a formal semantics that establishes the relationship between the language and its underlying mathematical model, continuous time Markov chains. Furthermore, subclasses of the language are identified for which it is possible to specify and implement more efficient approaches to simulation. These new algorithms are demonstrated on substantial case studies. This replicated computation report focuses on the ML-Rules modelling tool, specifically, the new algorithms as demonstrated in the case studies in the paper [Helms et al. 2017]. The software was straightforward to install and use, and all experimental results from the paper could be reproduced.
机译：Helms等人的“一种富有表现力的多层次建模语言上的语义和高效仿真算法”。提出了关于领域特定的建模和仿真语言ML-Rules的新工作[Maus等。 2011]。这是该语言的第一次正式形式化语义，建立了该语言与其基础数学模型（连续时间马尔可夫链）之间的关系。此外，还可以识别语言的子类，可以为其指定和实施更有效的仿真方法。这些新算法在大量案例研究中得到了证明。这份复制的计算报告着重于ML-Rules建模工具，特别是论文中的案例研究所证明的新算法[Helms等。 2017]。该软件易于安装和使用，论文的所有实验结果均可复制。

著录项

  • 作者

    Hillston, Jane;

  • 作者单位
  • 年度 2017
  • 总页数
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利
代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号